{-# LANGUAGE MultiParamTypeClasses, DataKinds, KindSignatures #-}

module TypeSumsAux where

import TypeBasics
import Representation



class Partition_N (bn :: Bool) x subL subR where
  partition_N :: Proxy bn -> N x -> Either subL subR
